$\forall$$a$, $b$, $c$:$\mathbb{Q}$. \{$a$ $<$ $b$ $\Leftarrow\!\Rightarrow$ $c$ + $a$ $<$ $c$ + $b$\}